Câu ví dụ
- Topics within this field include automatic reasoning, logical reasoning, and automatic deduction.
Chủ đề trong lĩnh vực này bao gồm lý luận tự động, suy luận logic, và khấu trừ tự động. - From a logical and symbolic viewpoint the course work covers basic principles of cognition, automatic reasoning and search, and decision theory.
Từ một hợp lý và mang tính biểu tượng quan điểm của các môn học bao gồm các nguyên tắc cơ bản của nhận thức, lý luận và tìm kiếm tự động, và lý thuyết quyết định. - From a purely mathematical standpoint, you will study aspects of probability, linear systems, and stochastic processes, used in many automatic reasoning and planning problems.
Từ một hoàn toàn toán học quan điểm, bạn sẽ nghiên cứu các khía cạnh của xác suất, hệ thống tuyến tính, và các quá trình ngẫu nhiên, được sử dụng trong nhiều lý và lập kế hoạch các vấn đề tự động. - Courses in this degree program focus on artificial intelligence and the practical aspects of making intelligent machines work, with a special focus on the theoretical and mathematical foundations that make automatic reasoning possible.
Các khóa học về mức độ chương trình này tập trung vào trí thông minh nhân tạo và các khía cạnh thực tế của máy làm việc thông minh, đặc biệt tập trung vào các nền tảng lý thuyết và toán học mà lý do lựa chọn tự động có thể.
